Reasoning in simple type theory - festschrift in honour of Peter B. Andrews on this 70th birthday
- Författare
- (Edited by Christoph Benzmüller ... et al..)
- Genre
- Festschrift
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| College Publications | 2008 | England, London | 467 sidor. ill. 24 cm. | 978-1-904987-70-3 |